Revision: tlacontrib--algernon--1.2--patch-4
Archive: algernon@bonehunter.rulez.org--hacks
Creator: Gergely Nagy <algernon@bonehunter.rulez.org>
Date: Thu Jan 29 10:26:13 CET 2004
Standard-date: 2004-01-29 09:26:13 GMT
Modified-files: tla-archive-locate
New-patches: algernon@bonehunter.rulez.org--hacks/tlacontrib--algernon--1.2--patch-4
Summary: mirror -> ars (archive registry source) and other updates
Keywords: 

* tla-archive-locate: Renamed all mirror_* functions to ars_*, and
  extended the documentation a bit. (With a list of sources among
  other things.)
